package at.tasat.solver.queue;

import java.util.Random;

import at.tasat.solver.Queue;
import at.tasat.solver.QueueFactory;
import at.tasat.solver.VariableOccurencesList;

public final class RandomQueueFactory extends QueueFactory {

	private final Random random;

	public RandomQueueFactory(Random random) {
		this.random = random;
	}

	@Override
	public String getName() {
		return "random";
	}

	@Override
	public Queue create(int numVariables, VariableOccurencesList occurencesList) {
		return new RandomQueue(numVariables, random);
	}

}
